Nuprl Lemma : mkid-wf-test
11,40
postcript
pdf
"xxx"
Id
latex
Definitions
Id
,
"$x"
,
t
T
origin
Id Id T